TTL: a modular language for hardware/software systems design
نویسندگان
چکیده
منابع مشابه
Language-level Transactions for Modular Reliable Systems
The transaction model is a natural means to express atomicity, fault-tolerance, synchronization, and exception handling in reliable programs. A (lightweight, in-memory) transaction can be thought of as a sequence of program loads and stores which either commits or aborts. If a transaction commits, then all of the loads and stores appear to have run atomically with respect to other transactions....
متن کاملA Modular Design for the Common Language Runtime (CLR) Architecture
This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms of Abstract State Machines (ASMs) and takes the form of an interpreter. We describe the CLR as a hierarchy of eight submachines, which correspond to eight submodules into which the Common Intermediate Language (CIL) instruction set can be decomposed.
متن کاملTowards Modular Extensions for a Modular Language
Modularity allows the construction of complex designs from simpler, independent units that most of the time can be developed separately. In this paper we are concerned with developing mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our ...
متن کاملEnabling Modular Design Platforms for Complex Systems
In recent times, an emerging trend in several industries that have adopted Model-Based Design has been holistic product platforms where a single systems design is reused and customized to meet diverse customer requirements such as application, cost, and operational considerations. Many of these dynamic changes in nature have required system design component variations referred to as “variants” ...
متن کاملDesign of assembly systems for modular products
To respond to the challenge of agile manufacturing, companies are striving to provide a large variety of products at a low cost. Product modularity allows to produce different products by combining standard components. One of the characteristics of modular products is that they share the same assembly operations for a part of their structure. The special structure of modular products provides c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2003
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(03)00002-3